Test result analysis and validation of test verdicts
نویسندگان
چکیده
Formal description techniques (FDT's) are useful in the protocol development cycle, particulary in the conformance testing area. In this paper, we present TETRA, a test and trace analysis tool based on the LOTOS FDT which can be used to automatically compare the specified verdicts of a conformance test case with a protocol specification, or to analyse results of a test run with the reference specification. We also describe our experience with this tool for the validation of a X.25 TTCN test suite and for the testing of an ACSE implementation.
منابع مشابه
Test Result Analysis with Respect to Formal Specifications
There are two aspects to testing: (1) the selection of appropriate test inputs and (2) the analysis of the observed interactions of the implementation under test (IUT) in order to determine whether they conform to the IUT's specification. The paper considers the second aspect with particular attention to the testing of OSI communication protocol implementations. A system is described which anal...
متن کاملAutomatic Test Result Analysis for High-Level Specifications†
Formal specifications are intended to be used in many activities of the software development life cycle in order to increase confidence that a specified system will behave properly. Among these activities, this paper focuses on the analysis of test results in the context of OSI communication protocols. The paper discusses the principles involved in the comparison of test results with respect to...
متن کاملValidation of LAL test on some antibiotics: A study on the causes of different inhibitory effects
Validation process is a program for ensuring products with proven acceptable and predetermined specification. The LAL test used for detection of endotoxin in the sterile parenteral products is one of the tests that require validation. During this study, validation of 12 parenteral antibiotics including penicillin and cephalosporin have been done using gel clot method and obtained results which ...
متن کاملEvaluation and Statistical Validation of Black-Spots Identification Methods
Despite the identification of crash hotspots as a first step of the roads safety management process, with various effective black spots identification (HSID) methods, only a few researchers have compared the performance of these methods; also it is not clear which test is the most consistent in the black-spots identification. In this research, seven commonly applied HSID methods (accident frequ...
متن کاملVERDICTS : Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software
We introduce a methodology and research tools for visual exploratory software analysis. VERDICTS combines exploratory testing, tracing, visualization, dynamic discovery and injection of requirements speci cations into a live quick-feedback cycle, without recompilation or restart of the system under test. This supports discovery and veri cation of software dynamic behavior, software comprehensio...
متن کامل